Is Mathematical Logic a Part of Mathematics?
نویسندگان
چکیده
منابع مشابه
Mathematical Logic : Proof Theory , Constructive Mathematics 2965 Workshop : Mathematical Logic : Proof Theory , Constructive
The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity. Mathematics Subject Classification (2000): 03Fxx. Introduction by the Organisers The workshop Mathematical Logic: Proof Theory, Constructive Mathematics was held November 6-12, 2011...
متن کاملWhat Is Mathematical Logic? A Survey
What is mathematical logic? Mathematical logic is the application of mathematical techniques to logic. What is logic? I believe I am following the ancient Greek philosopher Aristotle when I say that logic is the (correct) rearranging of facts to find the information that we want. Logic has two aspects: formal and informal. In a sense logic belongs to everyone although we often accuse others of ...
متن کاملWhat is mathematical fuzzy logic
The paper comments on the development and present state of fuzzy logic as a kind (branch) of mathematical logic. It is meant just as a contribution to the discussion on what fuzzy logic is, not as a systematic presentation of mathematical fuzzy logic. © 2005 Elsevier B.V. All rights reserved.
متن کاملMathematical Software Is It Mathematics or Is It Software ?
Computers can empower mathematicians to envision and to prove theorems beyondnatural limitations. At the same time, computers can facilitate misdirection and error on a grand scale.Working on software development is, in effect, engaging in an interesting genre ofmathematical thinking. Since we are in an age where significant progress has been achieved on both practical and intellectual levels b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1997
ISSN: 0315-0860
DOI: 10.1006/hmat.1997.2157